Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·1d
📊Computational Geometry
Flag this post
5 Maths Gems #193
resourceaholic.com·23h·
📐Document Algebra
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
Automated Calibration of Open-Loop Control Systems via Adaptive Fourier Analysis
dev.to·18h·
Discuss: DEV
Precision Brewing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·52m·
🗂Data structures
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Encodings
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·1d
🔧Hardware Verification
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·16h
💻Local LLMs
Flag this post
Interpolated Discrepancy Data Assimilation for PDEs with Sparse Observations
arxiv.org·1d
📐Error Bounds
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
💧Liquid Types
Flag this post